14

In Honour of Bill Wadge

Year:
2008
Language:
english
File:
PDF, 218 KB
english, 2008
20

A Non-standard Temporal Deductive Database System

Year:
1996
Language:
english
File:
PDF, 609 KB
english, 1996
27

Algebraic Semantics of Imperative Programsby Joseph A. Goguen; Grant Malcom

Year:
1999
Language:
english
File:
PDF, 492 KB
english, 1999
29

Possible Worlds Versioning

Year:
2008
Language:
english
File:
PDF, 481 KB
english, 2008
30

The LUSTRE Synchronous Dataflow Programming Language: Design and Semantics

Year:
1992
Language:
english
File:
PDF, 1.24 MB
english, 1992
32

Computer science is an experimental science

Year:
1995
Language:
english
File:
PDF, 81 KB
english, 1995
34

A unix tool for managing reusable software components

Year:
1993
Language:
english
File:
PDF, 1.05 MB
english, 1993